-
1 logic without identity
Математика: логика без тождестваУниверсальный англо-русский словарь > logic without identity
-
2 identity
1) матем. единица || единичный2) идентичность, одинаковость, тождественность5) опознание; отождествление6) матем. тождество7) геол. однородность•component of the identity — матем. компонента единицы
monoid with identity — матем. полугруппа с единицей
ring with identity — матем. кольцо с единицей
ring without identity — матем. кольцо без единицы
semigroup with identity — матем. полугруппа с единицей
semigroup without identity — матем. полугруппа без единицы
to reduce to an identity — матем. обращать в тождество
to satisfy an identity — мат. удовлетворять тождеству
-
3 logic
-
4 algebra
algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей
algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей
-
5 calculus
-
6 gate
1) вентиль; (вентильная) схема; логический элемент2) стробирующий импульс; строб-импульс || стробировать; пропускать; управлять пропусканием; управлять отпиранием•- gate through- A AND-NOT B gate
- A except B gate
- A ignore B gate
- A ignore B negative gate
- A implies B gate
- A implies B negative gate
- A OR-NOT B gate
- add gate
- add without carry gate
- addend-in gate
- adder gate
- all or nothing gate
- alternation gate
- alternative denial gate
- amplitude gate
- AND - NOT gate
- AND gate
- AND-to-AND gate
- AND-to-OR gate
- anticoincidence gate
- any but not all gate
- any or all gate
- augend-in gate
- B AND-NOT A gate
- B except A gate
- B ignore A gate
- B ignore A negative gate
- B implies A gate
- B implies a negative gate
- B OR-NOT A gate
- basic gate
- biconditional gate
- Boolean gate
- bud isolation gates
- carry gate
- cascaded gates
- C-gate
- coincidence gate
- complement gate
- conditional implication gate
- conjunction gate
- controllable gate
- crowded gate
- decision gate
- difference gate
- differential gate
- diode gate
- disjunction gate
- dispersion gate
- distance gate
- diversity gate
- don't care gate
- double-input gate
- dual gate
- EITHER-OR gate
- emitter-coupled gate
- equality gate
- equivalence gate
- equivalent gate
- eraser gate
- except gate
- exclusive NOR gate
- exclusive OR gate
- exjunction gate
- fault tree gate
- front-end gate
- gate between channels
- generator gate
- glue-type gate
- identity gate
- if A then B gate
- if A then NOT B gate
- IF-THEN gate
- ignore gate
- implication gate
- inclusion gate
- inclusive NOR gate
- inclusive OR gate
- inequivalence gate
- inhibitory gate
- insulated gate
- intersection gate
- inverted AND gate
- inverting gate
- isolated gate
- join gate
- joint denial gate
- locking gate
- logic product gate
- logic sum gate
- logical gate
- logic gate
- low-power gate
- majority decision gate
- majority gate
- match gate
- matrix gate
- mix gate
- modulo-two sum gate
- multiplicand gate
- NAND gate
- negation gate
- negative AND gate
- negative OR gate
- NEITHER-NOR gate
- N-input gate
- nonconjunctive gate
- nondisjunction gate
- nonequality gate
- nonequivalence gate
- NOR gate
- NOT gate
- NOT-AND gate
- NOT-both gate
- NOT-IF-THEN gate
- null gate
- one gate
- open-collector gate
- OR gate
- OR-ELSE gate
- OR-to-AND gate
- OR-to-OR gate
- partial sum gate
- positive AND gate
- positive OR gate
- priority AND gate
- pulse gate
- pulse-train gate
- quad gate
- readout gate
- reconvergent gate
- rejection gate
- self-aligned gate
- Sheffer stroke gate
- shift gate
- silicon gate
- spare gate
- special gate
- sum readout gate
- sum-out gate
- swap gate
- symmetric difference gate
- threshold gate
- time gate
- true gate
- two-input gate
- union gate
- voltage sensitive gate
- wired gate
- zero gate
- zero-match gateEnglish-Russian dictionary of computer science and programming > gate
См. также в других словарях:
Identity — may refer to:Philosophy* Identity (philosophy), the sameness of two things * Identity theory of mind, in the philosophy of mind, holds that the mind is identical to the brain * Personal identity (philosophy) * Identity (social science) * Identity … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Identity (philosophy) — In philosophy, identity, from Latin: identitas (“sameness”), is the relation each thing bears just to itself. [1] According to Leibniz s law two things sharing every attribute are not only similar, but are the same thing. The concept of sameness… … Wikipedia
Identity and Access Management — (IAM) is a concept that combines business processes, policies and technologies that enable companies to: * provide secure access to any resource. * efficiently control this access. * respond faster to changing relationships. * protect… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… … History of philosophy
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… … Wikipedia